CS306.NOT[F86,JMC]1 - www.SailDart.org

perm filename CS306.NOT[F86,JMC]1 blob sn#826479 filedate 1986-10-15 generic text, type C, neo UTF8

COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	cs306.not[f86,jmc]	Notes for cs306
C00003 ENDMK
C⊗;
cs306.not[f86,jmc]	Notes for cs306

example from Henderson's functional programming

singletons[x,ones,twos] ← if at x then
	[if x ε twos then ones,twos
	else if x ε ones then delete[x,ones],x.twos
	else x.ones,twos]
			else singletons[d x,singletons[a x,ones,twos]]

Need a good example of modifying a program to produce communication
between branches.